<body>
Converts a symbol into a string with the same text.
</body>
